bitkeeper revision 1.1348 (4266ef9bSWLiNFi-ZJ_TkK7jYaRikA)
authoriap10@tetris.cl.cam.ac.uk <iap10@tetris.cl.cam.ac.uk>
Thu, 21 Apr 2005 00:11:07 +0000 (00:11 +0000)
committeriap10@tetris.cl.cam.ac.uk <iap10@tetris.cl.cam.ac.uk>
Thu, 21 Apr 2005 00:11:07 +0000 (00:11 +0000)
commit93b9d17cce78dee2b5aa27f99a816cbee8daf568
treeac177d047d205ed697ce94a421d6edc620432aae
parent99a43b3bea2b002b87d650aa29d383509b42ed49
bitkeeper revision 1.1348 (4266ef9bSWLiNFi-ZJ_TkK7jYaRikA)

Truly round off the div result to get right PIT frequency for guest.
Otherwise, the guest's idea of time drifts away from that of the host.

Signed-off-by: Edwin Zhai <edwin.zhai@intel.com>
Signed-off-by: Arun Sharma <arun.sharma@intel.com>
Signed-off-by: ian@xensource.com
xen/include/xen/lib.h